union型 (ts)
イディオム
配列をunion型に変換する
UnionからUnionへの型レベルmap